An Extension to Pi-Calculus for Performance Evaluation

An Extension to Pi-Calculus for Performance Evaluation

Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework for describing and analyzing the concurrent systems whose configuration may change during the computation. With all the advantages that pi-calculus offers, it does not provide any methods for performance evaluation of the systems describ...

Pi-Calculus As A Rapid Prototype Language For Performance Evaluation

Performance Evaluation of DPS Coordination Strategies Modeled in Pi-calculus

Distributed problem solving (DPS) is a subfield of Multi-Agent Systems (MAS) concerned with using systems of agents to solve large-scale, distributed problems like data interpretation in sensor networks. Methods for producing effective coordination strategies for DPS systems, is an active area of research. Because there are not yet approaches that can automatically produce such strategies for m...

Pi-nets: interaction nets for pi-calculus

π-calculus is a framework that aims to describe concurrent calculations through a formal definition of processes. Originally, π-calculus is defined by a formal language and a set of reduction rules, much in the spirit of λ-calculus. Our aim is to provide a graphical representation of π-calculus using multi-wired interaction nets, in the spirit this time of proof-nets of linear logic. 1 π-calcul...

Tau laws for pi calculus

The paper investigates the non-symbolic algebraic semantics of the weak bisimulation congruenceson finite pi processes. The weak bisimulation congruences are studied both in the absence and inthe presence of the mismatch operator. Some interesting phenomena about the open congruences arerevealed. Several new tau laws are discovered and their relationship is discussed. The contributi...